unconditional
\\[0ex]filter($\lambda$$x$.$P$($x$);$L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$filter($\lambda$$x$.$P$($x$);$L$)
\\[0ex]\emph{(recursive)}